In geometry, the Schläfli symbol is a notation of the form {p,q,r,...} that defines regular polytopes and tessellations.
The Schläfli symbol is named after the 19th-century mathematician Ludwig Schläfli who made important contributions in geometry and other areas.
Contents |
The Schläfli symbol is a recursive description, starting with a p-sided regular polygon as {p}. For example, {3} is an equilateral triangle, {4} is a square and so on.
A regular polyhedron which has q regular p-gon faces around each vertex is represented by {p,q}. For example, the cube has 3 squares around each vertex and is represented by {4,3}.
A regular 4-polytope with r {p,q} regular polyhedral cells around each edge is represented by {p,q,r}, and so on.
Regular polytopes can have star polygon elements, like the pentagram, with symbol {5/2}, represented by the vertices of a pentagon but connected alternately.
A facet of a regular polytope {p,q,r,...,y,z} is {p,q,r,...,y}.
A regular polytope has a regular vertex figure. The vertex figure of a regular polytope {p,q,r,...} is {q,r,...}.
The Schläfli symbol can represent a finite convex polyhedron, an infinite tessellation of Euclidean space, or an infinite tessellation of hyperbolic space, depending on the angle defect of the construction. A positive angle defect allows the vertex figure to fold into a higher dimension and loops back into itself as a polytope. A zero angle defect will tessellate space of the same dimension as the facets. A negative angle defect can't exist in ordinary space, but can be constructed in hyperbolic space.
Usually a vertex figure is assumed to be a finite polytope, but can sometimes be considered a tessellation itself.
A regular polytope also has a dual polytope, represented by the Schläfli symbol elements in reverse order. A self-dual regular polytope will have a symmetric Schläfli symbol.
A Schläfli symbol is closely related to reflection symmetry groups, also called Coxeter groups, given with the same indices, but square brackets instead [p,q,r,...]. Such groups are often named by the regular polytopes they generate. For example [3,3] is the Coxeter group for Tetrahedral symmetry, and [3,4] is octahedral symmetry, and [3,5] is icosahedral symmetry.
The Schläfli symbol of a regular polygon with n edges is {n}.
For example, a regular pentagon is represented by {5}.
See the convex regular polygon and nonconvex star polygon.
For example, {5/2} is the pentagram.
The Schläfli symbol of a regular polyhedron is {p,q} if its faces are p-gons, and each vertex is surrounded by q faces (the vertex figure is a q-gon).
For example {5,3} is the regular dodecahedron. It has pentagonal faces, and 3 pentagons around each vertex.
See the 5 convex Platonic solids, the 4 nonconvex Kepler-Poinsot polyhedra.
Schläfli symbols may also be defined for regular tessellations of Euclidean or hyperbolic space in a similar way.
For example, the hexagonal tiling is represented by {6,3}.
The Schläfli symbol of a regular polychoron is of the form {p,q,r}. Its (two-dimensional) faces are regular p-gons ({p}), the cells are regular polyhedra of type {p,q}, the vertex figures are regular polyhedra of type {q,r}, and the edge figures are regular r-gons (type {r}).
See the six convex regular and 10 nonconvex polychora.
For example, the 120-cell is represented by {5,3,3}. It is made of dodecahedron cells {5,3}, and has 3 cells around each edge.
There is also one regular tessellation of Euclidean 3-space: the cubic honeycomb, with a Schläfli symbol of {4,3,4}, made of cubic cells, and 4 cubes around each edge.
There are also 4 regular hyperbolic tessellations including {5,3,4}, the Hyperbolic small dodecahedral honeycomb, which fills space with dodecahedron cells.
For higher dimensional polytopes, the Schläfli symbol is defined recursively as {p1, p2, ..., pn − 1} if the facets have Schläfli symbol {p1,p2, ..., pn − 2} and the vertex figures have Schläfli symbol {p2,p3, ..., pn − 1}.
Notice that a vertex figure of a facet of a polytope and a facet of a vertex figure of the same polytope are the same: {p2,p3, ..., pn − 2}.
There are only 3 regular polytopes in 5 dimensions and above: the simplex, {3,3,3,...,3}; the cross-polytope, {3,3, ... ,3,4}; and the hypercube, {4,3,3,...,3}. There are no non-convex regular polytopes above 4 dimensions.
If a polytope of dimension ≥ 2 has Schläfli symbol {p1,p2, ..., pn − 1} then its dual has Schläfli symbol {pn − 1, ..., p2,p1}.
If the sequence is palindromic, i.e. the same forwards and backwards, the polytope is self-dual. Every regular polytope in 2 dimensions (polygon) is self-dual.
Uniform prismatic polytopes can be defined and named as a Cartesian product of lower dimensional regular polytopes:
Coxeter expanded his usage of the Schläfli symbol to quasiregular polyhedra by adding a vertical dimension to the symbol. It was a starting point toward the more general Coxeter-Dynkin diagram.
Form | Extended Schläfli symbol | t-notation | Coxeter-Dynkin diagram |
---|---|---|---|
Regular | ![]() |
t0{p,q} | |
Quasiregular | ![]() |
t1{p,q} | |
Regular dual | ![]() |
t2{p,q} |
And for rectified 4-polytopes:
Form | Extended Schläfli symbol | t-notation | Coxeter-Dynkin diagram |
---|---|---|---|
Regular | ![]() |
t0{p,q,r} | |
Rectified | ![]() |
t1{p,q,r} | |
Rectified dual | ![]() |
t2{p,q,r} | |
Regular dual | ![]() |
t3{p,q,r} |